home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / gnu / nihcl-30.lha / nihcl-3.0 / test / identset.v < prev    next >
Text File  |  1990-05-19  |  65b  |  6 lines
  1.  
  2. Test class IdentSet
  3. s = (1,1)
  4. s.includes(A): 1
  5. s.includes(B): 0
  6.